2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Автор:
Martin Wirsing
, Автор:
Martin Hofmann
, Автор:
Axel Rauschmayer
Категория:
Компьютеры
Размер книги: 5.78 Mb
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Автор:
Martin Wirsing
, Автор:
Martin Hofmann
, Автор:
Axel Rauschmayer
Размер книги: 5.18 Mb
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Автор:
Martin Wirsing
, Автор:
Matthias Hölzl
Размер книги: 13.54 Mb
STACS 87, Theoretical Aspects of Computer Science 4 conf
Автор:
Franz J. Brandenburg
, Автор:
Guy Vidal-Naquet
, Автор:
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.38 Mb
Theoretical Aspects of Computing - ICTAC 2005, 2 conf
Автор:
Dang Van Hung
, Автор:
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 5.67 Mb
Recent Trends in Algebraic Development Techniques, 16 conf., WADT 2002
Автор:
Martin Wirsing
, Автор:
Dirk Pattinson
, Автор:
Rolf Hennicker
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.77 Mb
STACS 88, Theoretical Aspects of Computer Science 5 conf
Автор:
Robert Cori
, Автор:
Martin Wirsing
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.89 Mb
Programming Language Implementation and Logic Programming, 4 conf., PLILP'92
Автор:
Maurice Bruynooghe
, Автор:
Martin Wirsing
Категория:
CsLn_
Размер книги: 4.27 Mb
Web Engineering - 4 conf., ICWE 2004
Автор:
Nora Koch
, Автор:
Piero Fraternali
, Автор:
Martin Wirsing
Категория:
CsLn_
Размер книги: 11.77 Mb
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 4.66 Mb
Adapting proofs-as-programs
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 2.25 Mb
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 1.53 Mb
Software-Intensive Systems and New Computing Paradigms
Автор:
Martin Wirsing
, Автор:
Jean-Pierre Banatre
, Автор:
Matthias Hölzl
, Автор:
Axel Rauschmayer
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.54 Mb
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Автор:
Martin Wirsing
, Автор:
Maurice Nivat
Размер книги: 6.79 Mb
Methods of Programming: Selected Papers on the CIP-Project
Автор:
Manfred Broy
, Автор:
Martin Wirsing
Размер книги: 2.20 Mb
Radical Innovations of Software and Systems Engineering in the Future
Автор:
Martin Wirsing
, Автор:
Alexander Knapp
, Автор:
Simonetta Balsamo
Размер книги: 3.50 Mb